// WangExec.h
